Sat
Oct 5th
2019
Oct 5th
2019
Watch
Mechanization of Math
This roundtable explores the nature of mathematical proof and the growing role of computers and AI in verifying and potentially producing proofs. It considers whether mathematics is a human practice with intrinsic value or a process that can ultimately be automated and entrusted to machines.